21

Constructive canonicity in non-classical logics

Year:
1997
Language:
english
File:
PDF, 1.27 MB
english, 1997
45

Relational and partial variable sets and basic predicate logic

Year:
1996
Language:
english
File:
PDF, 1.53 MB
english, 1996